A Calculus for Shapes in Time and Space
نویسنده
چکیده
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and apply it to a case study. We extend a pure Duration Calculus specification for the controller by spatial assumptions to reason about spatial system properties. We prove that the formalism is undecidable in general for discrete and continuous domains and present a decidable fragment.
منابع مشابه
Free Vibration Analysis of a Six-degree-of-freedom Mass-spring System Suitable for Dynamic Vibration Absorbing of Space Frames
This study is concentrated on the natural frequencies and mode shapes of a simple three-member space frame coupled with a dynamic vibration absorber. The dynamic vibration absorber is modeled as a six-degree-of-freedom mass-spring system. For the first time, the free vibration of an elastic structure with a six-degree-of-freedom mass-spring system is found. Each member of the space frame has un...
متن کاملNon-linear Fractional-Order Chaotic Systems Identification with Approximated Fractional-Order Derivative based on a Hybrid Particle Swarm Optimization-Genetic Algorithm Method
Although many mathematicians have searched on the fractional calculus since many years ago, but its application in engineering, especially in modeling and control, does not have many antecedents. Since there are much freedom in choosing the order of differentiator and integrator in fractional calculus, it is possible to model the physical systems accurately. This paper deals with time-domain id...
متن کاملرمزگشایی از فضامندی پدیده جهانی شدن با تکیه بر شاکله مفهومی تریالکتیک لوفور
Introduction This survey is based on deciphering the space of globalization phenomenon and revealing affected by spatial actions mechanism under investment discipline (according to compressed space and time). The basic question is how the space could be used, organized and created so that it could be in line with investment flow progress necessities. This can be unrevealed by applying concep...
متن کاملEfficient Delay Characterization Method to Obtain the Output Waveform of Logic Gates Considering Glitches
Accurate delay calculation of circuit gates is very important in timing analysis of digital circuits. Waveform shapes on the input ports of logic gates should be considered, in the characterization phase of delay calculation, to obtain accurate gate delay values. Glitches and their temporal effect on circuit gate delays should be taken into account for this purpose. However, the explosive numbe...
متن کاملApplication of Mathematics in Financial Management
The Time Value of Money is a important concept in Financial Management. The Time Value of Money includes the concepts of future value and discounted value or present value. In the present article, the basic notions and illustrate with their application in the field of investment which is presented in the mathematical terms in form of theorems and we also presented the applications of some well ...
متن کامل